An automated dose verification software for brachytherapy
نویسندگان
چکیده
منابع مشابه
Automated Incremental Software Verification
Software continuously evolves to meet rapidly changing human needs. Each evolved transformation of a program is expected to preserve important correctness and security properties. Aiming to assure program correctness after a change, formal verification techniques, such as Software Model Checking, have recently benefited from fully automated solutions based on symbolic reasoning and abstraction....
متن کاملAutomated quantitative software verification
Many software systems exhibit probabilistic behaviour, either added explicitly, to improve performance or to break symmetry, or implicitly, through interaction with unreliable networks or faulty hardware. When employed in safety-critical applications, it is important to rigorously analyse the behaviour of these systems. This can be done with a formal verification technique called model checking...
متن کاملHigh-Dose-Rate 192Ir Brachytherapy Dose Verification: A Phantom Study
BACKGROUND The high-dose-rate (HDR) brachytherapy might be an effective tool for palliation of dysphagia. Because of some concerns about adverse effects due to absorbed radiation dose, it is important to estimate absorbed dose in risky organs during this treatment. OBJECTIVES This study aimed to measure the absorbed dose in the parotid, thyroid, and submandibular gland, eye, trachea, spinal c...
متن کاملA dwell position verification method for high dose rate brachytherapy
Misplacement of dwell positions is a potential source of misadministration in high dose rate brachytherapy. In this work we present a dwell position verification method using fluoroscopic images. A mobile C-arm fluoroscopic machine is used to take a snapshot of the treatment machine's check cable as it reaches the most distal dwell position. This fluoroscopic image is displayed side-by-side wit...
متن کاملAn Automated Approach for Verification of Software Requirements
In this paper, we present an automated approach for the verification of software requirements. This approach is based on the representation of software requirements in XML and the usage of the XSLT language to automatically verify some desired quality properties. These ideas have been implemented in REM, an experimental requirements management tool that is also described in this paper.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Contemporary Brachytherapy
سال: 2018
ISSN: 1689-832X
DOI: 10.5114/jcb.2018.79396